1
一階微分方程的結構解析
MATH009Lesson 2
00:00
想像一個物理系統——貸款餘額上升、物體下墜,或瀕危物種的族群數量。一階微分方程(ODE)的 結構解析 是我們預測這些系統未來狀態的數學橋樑。它將自變數 $t$、因變數 $y$ 及其瞬時變化率之間的關係明確化。

1. 結構分類法

其核心在於一階微分方程將導數與變數相聯繫:$$\frac{dy}{dt} = f(t, y) \quad (1)$$,或以隱函數形式 $F(t, y) = 0$ 表示。方程式依其「骨架」進行分類:

  • 線性結構: 例如 $\frac{dy}{dt} = -ay + b$(2),其中函數對 $y$ 是線性的。注意:因此僅在討論線性方程時才使用『通解』一詞。
  • 自治結構: 當變化率僅取決於系統狀態時,$dy/dt = f(y)$。這類方程常具備一個 閾值水平(T):一個關鍵的族群水平,低於此水平時物種無法繁衍並走向滅絕。
  • 精確結構: 透過條件 $M_y(x, y) = N_x(x, y)$ 來驗證。若此條件不成立,如範例3所示,則不存在滿足該系統的 $\psi(x, y)$。
步驟一:模型建立
實際情境,例如 範例 4|逃逸速度 (質量為 $m$ 的物體從地球發射),必須轉換為數學語言。我們需考慮重力與初始速度 $v_0$。
步驟二:穩定性與存在性
我們依賴於 利普希茨條件:$|f(t, y_1) - f(t, y_2)| \le K|y_1 - y_2|$,以確保解的存在與唯一性。若無此條件,問題的「結構解析」可能失效或產生多值解。

2. 解與可視化

任何在某區間內對所有 $t$ 滿足方程的可微函數 $y = \phi(t)$ 均稱為解。幾何上,我們將其繪製為一條 積分曲線。對於貝努力方程,我們採用 代換 $v = y^{1-n}$ 以線性化其結構解析。

🎯 關鍵觀察:歐拉法
範例 1 (利率為 12% 的貸款餘額 $S(t)$)中,使用歐拉法的離散近似值 $y_{n+1} = y_n + f_n \cdot (t_{n+1} - t_n)$ 通常高於實際的連續值。這是因為解的圖形呈 凹向下,導致切線近似值位於曲線之上。
$\frac{dS}{dt} = rS - k \implies y_n = \rho^n y_0$